Classical Invariant Theory and the Equivalence Problem for Particle Lagrangians. I. Binary Forms

The problem of equivalence of binary forms under linear changes of variables is shown to be a special case of the problem of equivalence of particle Lagrangians under the pseudogroup of transformations of both the independent and dependent vartables. The latter problem has a complete solution based on the equivalence method of Cartan. There are two particular rational covariants of any binary form which arc related by a “universal function.” The main result is that two binary forms are equivalent if and only if their universal functions arc identical. Construction of the universal function from the syzygies of the covariants. and explicit reconstruction of the form from its universal function are also discussed. New results on the symmetries of forms, and necessary and sufficient conditions for the equwalcnce of a form to a monomial, or to a sum of two rtth powers are consequences of this result. Fmally, we employ some syzygies due to Stroh to relate our result to a theorem of Clebsch on the equivalence of binary forms. ( IWO k.Kkrn,~